void portal(Player @player, Portal @portal) {
player.setVariable("fm_map", player.getMap().getID());
player.setVariable("fm_portal", portal.getID());
player.changeMap(910000000, "out00");
}